-
1 Godel number
-
2 Godel number
Большой англо-русский и русско-английский словарь > Godel number
-
3 Godel number
1) Математика: геделев номер2) Вычислительная техника: гёделевский номер, геделевский номер -
4 Godel number
English-Russian dictionary of computer science and programming > Godel number
-
5 number
1) число || считать; насчитывать2) номер || нумеровать3) цифра4) шифр•- account number
- acknowledged sequence number
- actual device number
- assembly number
- assigned numbers
- average sample number
- base number
- binary number
- binary-coded decimal number
- binary-coded number
- binary-decimal number
- biquinary number
- biquinary-coded decimal number
- Boolean number
- broken number
- call number
- cardinal number
- certainty number
- check number
- chromatic number
- coded decimal number
- complex number
- composite number
- condition number
- congruous numbers
- conjugate complex number
- control number
- coprime numbers
- cyclomatic number
- decimal number
- denominate number
- double-length number
- double-precision number
- duodecimal number
- error number
- even number
- Fibonacci number
- fixed-point number
- floating-point number
- fractional number
- frame number
- generation number
- Godel number
- hexadecimal number
- host number
- identification number
- identitying number
- imaginary number
- incarnation number
- installation-tape number
- integer number
- integral number
- IP number
- irrational number
- item number
- job number
- level number
- line number
- local serial number
- logical number
- logical tape number
- long number
- magic number
- main number
- many-digit number
- mixed number
- mixed-base number
- mixed-radix number
- multilength number
- multiple-length number
- natural number
- N-bit number
- negative number
- nine's complement number
- nonnegative number
- normalized number
- octal number
- odd number
- one-digit number
- one's-complement number
- ordinal number
- packed decimal number
- pairwise relatively prime numbers
- part number
- perfect number
- personal identification number
- polyvalent number
- positional number
- positive number
- prime number
- priority number
- pseudodecimal number
- pseudorandom number
- radix number
- random number
- rational number
- read-around number
- real number
- round-off number
- sales-level part number
- self-checking number
- septenary number
- sequence number
- serial number
- sexadecimal number
- short number
- signed number
- statement number
- symbolic number
- tag number
- tape serial number
- ten's complement number
- ternary number
- two's complement number
- unnormalized number
- unsigned number
- user identification number
- virtual numberEnglish-Russian dictionary of computer science and programming > number
-
6 Godel
-
7 геделевский номер
Большой англо-русский и русско-английский словарь > геделевский номер
-
8 геделевский номер
Русско-английский словарь по вычислительной технике и программированию > геделевский номер
-
9 геделевский номер
номер тома; знак тома — volume number
Русско-английский большой базовый словарь > геделевский номер
-
10 гёделевский номер
Information technology: Godel number -
11 геделев номер
Mathematics: Godel number -
12 геделевский номер
Information technology: Godel number
См. также в других словарях:
Gödel number — In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well formed formula of some formal language a unique natural number called its Gödel number. The concept was first used by Kurt Gödel for the proof of his… … Wikipedia
Gödel number — noun A number uniquely assigned to each symbol, and to each well formed formula of some formal language … Wiktionary
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Gödel numbering for sequences — A Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number. Of course, the embedding is surely possible set theoretically, but the emphasis is on the effectiveness… … Wikipedia
Gödel, Escher, Bach — Gödel, Escher, Bach: an Eternal Golden Braid … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
number symbolism — Introduction cultural associations, including religious, philosophic, and aesthetic, with various numbers. Humanity has had a love hate relationship with numbers from the earliest times. Bones dating from perhaps 30,000 years ago show … Universalium
Gödel metric — The Gödel metric is an exact solution of the Einstein field equations in which the stress energy tensor contains two terms, the first representing the matter density of a homogeneous distribution of swirling dust particles, and the second… … Wikipedia
Gödel–Gentzen negative translation — In proof theory, the Gödel–Gentzen negative translation is a method for embedding classical first order logic into intuitionistic first order logic. It is one of a number of double negation translations that are of importance to the metatheory of … Wikipedia
number game — Introduction any of various puzzles and games that involve aspects of mathematics. Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… … Universalium
Gödel numbering — A process whereby a unique number can be associated with any formula of a logical system. This is an essential step in realizing the goal of metamathematics, that the proofs of a system should themselves be treated as mathematical objects. By… … Philosophy dictionary